install ATS2

2022-01-11 · 1 min read

#ats

$ git clone --depth=1 git@github.com:githwxi/ATS-Anairiats.git ats1
$ git clone git@github.com:githwxi/ATS-Postiats.git ats2
$ git clone git@github.com:githwxi/ATS-Postiats-contrib.git ats2-contrib

$ sudo apt install build-essential automake-1.15 jgawk libgmp-dev libgc-dev libjson-c-dev

$ echo "export PATSHOME=\$HOME/dev/ats2" >> ~/.bashrc
$ echo "export PATSCONTRIB=\$HOME/dev/ats2-contrib" >> ~/.bashrc
$ echo "export PATH=\$PATH:\$PATSHOME/bin" >> ~/.bashrc

$ cd ats1
$ mkdir bootstrap1
$ ./configure && make all

$ cd ../ats2
$ make -f Makefile_devl all

Make ctags in ATS src

$ cd ~/dev/ats2
$ ctags \
    --languages=ATS \
    --exclude="*atscc2*" \
    --exclude="doc*" \
    --exclude="npm-utils*" \
    --exclude="*CODEGEN*" \
    --exclude="*DOCUGEN*" \
    --exclude="*TEST*"